Lindström; "Aspects of Incompleteness", Theorem 1.1